Built-in Types

Generic Type

• Syntax:

  TYPE Generic "Built-in: Type variable";
  

• Description:

  Type variable, will unify with any other type; any type is a sub-type of "Generic" which implies any object may be assigned to a variable of type "Generic".

Integer Type

• Syntax:

  TYPE Integer "Built-in: Integer numbers";
  

• Description:

  This type specifies an integer number.

Real Type

• Syntax:

  TYPE Real "Built-in: Real numbers";
  

• Description:

  This type specifies a real number.

Char Type

• Syntax:

  TYPE Char "Built-in: ASCII character";
  

• Description:

  This type specifies a single character.

String Type

• Syntax:

  TYPE String "Built-in: Char* (implemented as atomic type for efficiency reasons)";
  

• Description:

  This type specifies a string.

Boolean Type

• Syntax:

  TYPE Boolean "Built-in: Logic type" =
  ENUM
  {
    True,
    False
  };
  

• Description:

  This type specifies a boolean. A variable of this type can only have the value "True" or "False".